/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASB30/FONT#3=BASI30/FONT#4=NGR40/FONT#6=NGR20



␈↓ ↓H␈↓␈↓ ∧a␈↓∧Curriculum Vitae␈↓
␈↓ ↓H␈↓␈↓ εMfor
␈↓ ↓H␈↓␈↓ ¬m␈↓↓Douglas B. Lenat␈↓


␈↓ ↓H␈↓␈↓↓␈↓&Personal Data␈↓)αβ␈↓
␈↓ ↓H␈↓␈↓ αλHome address:␈↓ ¬_1C Escondido Village, Stanford U., Stanford, Ca. 94305
␈↓ ↓H␈↓␈↓ αλ␈↓ ¬_␈↓ πXPhone: 415-329-1031
␈↓ ↓H␈↓␈↓ αλO≠ce address:␈↓ ¬_Arti≡cial Intelligence Lab, Stanford U., Stanford, Ca. 94305
␈↓ ↓H␈↓␈↓ αλ␈↓ ¬_␈↓ πXPhone: 415-497-4971
␈↓ ↓H␈↓␈↓ αλBorn: September 13, 1950, Philadelphia, Pa.␈↓ πXCitizenship: USA

␈↓ ↓H␈↓␈↓↓␈↓&Degrees conferred:␈↓)αβ␈↓
␈↓ ↓H␈↓␈↓ αλB.A. Mathematics;␈↓ ¬_U. of Pa., 6/72
␈↓ ↓H␈↓␈↓ αλB.A. Physics;␈↓ ¬_U. of Pa., 6/72
␈↓ ↓H␈↓␈↓ αλM.S. Applied Mathematics; ␈↓ ¬_U. of Pa., 6/72

␈↓ ↓H␈↓␈↓↓␈↓&Expected degree:␈↓)αβ␈↓
␈↓ ↓H␈↓␈↓ αλPh.D. Computer Science;␈↓ ¬_Stanford U., 8/76

␈↓ ↓H␈↓␈↓↓␈↓&Doctoral thesis:␈↓)αβ␈↓
␈↓ ↓H␈↓␈↓ αλAdviser and committee: C. Cordell Green, E. A. Feigenbaum, D. E. Knuth, B. Buchanan
␈↓ ↓H␈↓␈↓ αλProspective title: ␈↓↓␈↓β␈↓& "The Automated Mathematician"␈↓)αβ␈↓↓
␈↓ ↓H␈↓␈↓ αλAbstract:␈α∀Investigations␈α∀of␈α∀creative␈α∀theory␈α∀formation␈α∀in␈α∀empirical␈α∀science␈α∀have␈α∀led␈α∀to␈α∀the
␈↓ ↓H␈↓␈↓ αλconstruction␈α
of␈α
␈↓↓␈↓&AM␈↓)αβ␈↓,␈α
a␈α
heuristic␈α
search␈α
program␈α
which␈α
can␈α
do␈α
simple␈α
mathematical␈α
research.␈α
 AM
␈↓ ↓H␈↓␈↓ αλexamines␈α
empirical␈α
data,␈α∞proposes␈α
plausible␈α
conjectures,␈α∞formulates␈α
new␈α
de≡nitions,␈α∞and␈α
judges
␈↓ ↓H␈↓␈↓ αλthe␈α
worth␈α∞of␈α
each␈α∞new␈α
concept.␈α
AM's␈α∞guiding␈α
heuristics␈α∞are␈α
used␈α
as␈α∞a␈α
rudimentary␈α∞calculus␈α
to
␈↓ ↓H␈↓␈↓ αλevaluate␈α∞"␈↓βinterestingness␈↓".␈α∞ Currently,␈α∞AM␈α∞is␈α∞given␈α∞prenumerical␈α∞knowledge,␈α∞and␈α∞makes␈α∞forays
␈↓ ↓H␈↓␈↓ αλinto arithmetic and elementary number theory.

␈↓ ↓H␈↓␈↓↓␈↓&Other investigations:␈↓)αβ␈↓
␈↓ ↓H␈↓␈↓ αλ1970:␈α⊗Electron-electron␈α↔scattering␈α⊗(as␈α⊗a␈α↔research␈α⊗assistant␈α⊗to␈α↔Professor␈α⊗Walter␈α↔Selove,␈α⊗an
␈↓ ↓H␈↓␈↓ αλexperimental high-energy physicist at U. of Pa.)
␈↓ ↓H␈↓␈↓ αλ1971: Acoustic holography in air at 40mHz. (Physics senior thesis)
␈↓ ↓H␈↓␈↓ αλ1972:␈α≤Computer-generated␈α≤holograms␈α≤of␈α≠3D␈α≤projections␈α≤of␈α≤4-dimensional␈α≤objects,␈α≠and
␈↓ ↓H␈↓␈↓ αλreconstruction by normal laser imaging.
␈↓ ↓H␈↓␈↓ αλ1973:␈α⊃Simple␈α⊃automatic␈α⊃programming␈α⊃systems␈α∩PW1,␈α⊃SEW,␈α⊃PUP.␈α⊃Described␈α⊃in␈α⊃Green␈α∩et.␈α⊃al.,
␈↓ ↓H␈↓␈↓ αλbelow.
␈↓ ↓H␈↓␈↓ αλ1974:␈αPUP6:␈αan␈αautomatic␈α
programming␈αsystem␈αcapable␈αof␈α
generating␈αa␈αfew␈α10-page␈α
long␈αLISP
␈↓ ↓H␈↓␈↓ αλconcept␈α∂formation␈α⊂programs,␈α∂from␈α⊂very␈α∂constrained␈α∂English␈α⊂dialogues.␈α∂Described␈α⊂in␈α∂IJCAI75,
␈↓ ↓H␈↓␈↓ αλbelow.

␈↓ ↓H␈↓␈↓↓␈↓&References:␈↓)αβ␈↓
␈↓ ↓H␈↓␈↓ αλEdward Feigenbaum, Computer Science Dept., Stanford University, Stanford, Ca. 94305
␈↓ ↓H␈↓␈↓ αλC. Cordell Green, Arti≡cial Intelligence Laboratory, Stanford University, Stanford, Ca. 94305
␈↓ ↓H␈↓␈↓ αλDonald Knuth, Computer Science Department, Stanford University, Stanford, Ca. 94305
␈↓ ↓H␈↓␈↓ αλRandall Davis, Arti≡cial Intelligence Laboratory, Stanford University, Stanford, Ca. 94305
␈↓ ↓H␈↓␈↓ αλTerry Winograd, Arti≡cial Intelligence Laboratory, Stanford University, Stanford, Ca. 94305



␈↓ ↓H␈↓␈↓↓␈↓&Publications:␈↓)αβ␈↓
␈↓ ↓H␈↓␈↓ αλ␈↓βProgress␈αReport␈αon␈αProgram-Understanding␈αSystems␈↓,␈αMemo␈αAIM-240,␈αCS␈αReport␈αSTAN-CS-74-
␈↓ ↓H␈↓␈↓ αλ444,␈α∪Arti≡cial␈α∩Intelligence␈α∪Laboratory,␈α∩Stanford␈α∪University,␈α∩August,␈α∪1974.␈α∪Co-authored␈α∩with
␈↓ ↓H␈↓␈↓ αλGreen, Waldinger, Barstow, Elschlager, McCune, Shaw, and Steinberg,

␈↓ ↓H␈↓␈↓ αλ␈↓βSynthesis␈α→of␈α→Large␈α→Programs␈α~from␈α→Speci≡c␈α→Dialogues␈↓,␈α→Proceedings␈α→of␈α~the␈α→International
␈↓ ↓H␈↓␈↓ αλSymposium on Proving and Improving Programs, Le Chesnay, France, July, 1975.

␈↓ ↓H␈↓␈↓ αλ␈↓βDuplication␈αof␈αHuman␈αActions␈αby␈αan␈αInteracting␈αCommunity␈αof␈αKnowledge␈αModules␈↓,␈αProceedings
␈↓ ↓H␈↓␈↓ αλof␈αthe␈αThird␈αInternational␈αCongress␈αof␈αCybernetics␈αand␈αSystems,␈αBucharest,␈α
Roumania,␈αAugust,
␈↓ ↓H␈↓␈↓ αλ1975.

␈↓ ↓H␈↓␈↓ αλ␈↓βBEINGS:␈α∪Knowledge␈α∩as␈α∪Interacting␈α∩Experts␈↓,␈α∪Proceedings␈α∩of␈α∪the␈α∩Fourth␈α∪International␈α∩Joint
␈↓ ↓H␈↓␈↓ αλConference on Arti≡cial Intelligence, Tbilisi, USSR, September, 1975.

␈↓ ↓H␈↓␈↓↓␈↓&Societies/committees:␈↓)αβ␈↓
␈↓ ↓H␈↓␈↓ αλ1970 President of Pi Mu Epsilon (undergraduate math honor society)
␈↓ ↓H␈↓␈↓ αλ1970 Mathematical Association of America
␈↓ ↓H␈↓␈↓ αλ1971 American Physical Society
␈↓ ↓H␈↓␈↓ αλ1971 Finance committee of the U. of Pa.
␈↓ ↓H␈↓␈↓ αλ1972 Elected to membership in Sigma Xi
␈↓ ↓H␈↓␈↓ αλ1975 Stanford A.I. Qual Exam committee
␈↓ ↓H␈↓␈↓ αλ1975 Stanford Computer Science Curriculum committee
␈↓ ↓H␈↓␈↓ αλ1975 joined the Association for Computing Machinery, SIGART, and AAAS

␈↓ ↓H␈↓␈↓↓␈↓&Pertinent employment:␈↓)αβ␈↓
␈↓ ↓H␈↓␈↓ αλStatistical programmer, Beaver College Psych. dept., parttime 1966-1969.
␈↓ ↓H␈↓␈↓ αλProgrammer:␈α∀M&T␈α∀Co.,␈α∀Phila.,␈α∀parttime␈α∀1969-1970:␈α∀constructed␈α∀a␈α∀simple␈α∀natural␈α∀language
␈↓ ↓H␈↓␈↓ αλunderstanding system (subcontracted for U.S.Navy).
␈↓ ↓H␈↓␈↓ αλResearch assistant, Physics Dept., U. of Pa., summers 1970-1972.
␈↓ ↓H␈↓␈↓ αλInstructor for Math 110, U. of Pa., Spring semester 1972.

␈↓ ↓H␈↓␈↓↓␈↓&Technical Areas of interest:␈↓)αβ␈↓
␈↓ ↓H␈↓␈↓ αλI␈α∩have␈α∩an␈α∩almost␈α∩uncontrollable␈α∩urge␈α∩to␈α∩proclaim␈α∩my␈α∩broad␈α∩interests␈α∩in␈α∩many␈α∩sub≡elds␈α⊃of
␈↓ ↓H␈↓␈↓ αλArti≡cial␈α∞Intelligence,␈α∞of␈α∞Science␈α∂in␈α∞general.␈α∞ I␈α∞shall,␈α∂however,␈α∞try␈α∞to␈α∞realistically␈α∂indicate␈α∞those
␈↓ ↓H␈↓␈↓ αλareas␈αin␈αwhich␈αI␈αintend␈αto␈αdo␈αresearch␈αor␈αteach.␈αMy␈αinterests␈αhave␈αslowly␈αevolved␈αfrom␈αInformal
␈↓ ↓H␈↓␈↓ αλAutomatic␈α
Programming␈α
(as␈α
in␈α
Green␈α
et.␈αal.),␈α
to␈α
Representation␈α
of␈α
Knowledge␈α
in␈α
such␈αsystems␈α
(as
␈↓ ↓H␈↓␈↓ αλin␈αIJCAI75),␈αto␈αRepresentation␈αof␈αknowledge␈αfor␈αtheory␈αformation␈α(as␈αin␈αthe␈αRoumanian␈αpaper),
␈↓ ↓H␈↓␈↓ αλto␈α∩the␈α∩analysis␈α∪and␈α∩emulation␈α∩of␈α∪theory␈α∩formation␈α∩in␈α∪empirical␈α∩science␈α∩(in␈α∪␈↓βmathematics␈↓,␈α∩in
␈↓ ↓H␈↓␈↓ αλparticular, for my dissertation).

␈↓ ↓H␈↓␈↓ αλI␈α∩believe␈α∩myself␈α∩competent␈α∩to␈α∩teach␈α∩advanced␈α∩seminars␈α∩in:␈α∩Automatic␈α∪programming,␈α∩theory
␈↓ ↓H␈↓␈↓ αλformation,␈α≤heuristic␈α≤search,␈α≥structured␈α≤programming,␈α≤representation␈α≤of␈α≥knowledge,␈α≤and
␈↓ ↓H␈↓␈↓ αλmechanical theorem-proving.

␈↓ ↓H␈↓␈↓↓␈↓&Career goals:␈↓)αβ␈↓
␈↓ ↓H␈↓␈↓ αλI␈α
enjoy␈α
research,␈α
and␈αdesire␈α
an␈α
academic␈α
or␈αindustrial␈α
position␈α
where␈α
about␈αhalf␈α
of␈α
my␈α
time␈αis
␈↓ ↓H␈↓␈↓ αλallocated␈α∂to␈α∞doing␈α∂my␈α∂own␈α∞research.␈α∂ I␈α∞would␈α∂enjoy␈α∂spending␈α∞my␈α∂other␈α∂time␈α∞"communicating"
␈↓ ↓H␈↓␈↓ αλwith␈α⊂others␈α⊂--␈α⊂via␈α⊂teaching,␈α⊂advising,␈α⊂working␈α⊂on␈α⊂group␈α⊂research␈α⊂projects,␈α⊂on␈α⊂committees,␈α∂by
␈↓ ↓H␈↓␈↓ αλwriting articles, by reviewing, participating in seminars, etc.